home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / CAD.LZH / OUTPUTS.PRO < prev    next >
Text File  |  1987-04-05  |  768b  |  27 lines
  1. Output from the goal "testoutputs<CR>." for Mark
  2. Karpovsky's circuit "samcir.pro".
  3.  
  4. test(r1,output,sa1,[n11(0),n7(1),n5(1),n3(0),n1(1)],[n29(db)]).
  5.  
  6. test(r1,output,sa0,[n3(1),n1(1)],[n29(d)]).
  7.  
  8. test(r2,output,sa1,[n5(0),n3(1),n1(1)],[n30(db)]).
  9.  
  10. test(r2,output,sa0,[n7(0),n5(1),n1(1)],[n30(d)]).
  11.  
  12. test(r3,output,sa1,[n9(0),n3(1)],[n31(db)]).
  13.  
  14. test(r3,output,sa0,[n7(0),n5(0),n3(0)],[n31(d)]).
  15.  
  16. test(r4,output,sa1,[n11(0),n3(0),n1(0)],[n32(db)]).
  17.  
  18. test(r4,output,sa0,[n3(1),n1(1)],[n32(d)]).
  19.  
  20. test(r5,output,sa1,[n5(0),n3(0)],[n33(db)]).
  21.  
  22. test(r5,output,sa0,[n7(0),n5(1),n1(1)],[n33(d)]).
  23.  
  24. test(r6,output,sa1,[n7(1),n5(1),n3(0),n1(1)],[n34(db)]).
  25.  
  26. test(r6,output,sa0,[n3(1),n1(1)],[n34(d)]).
  27.